הוכחה למשפט פיתגורס והיגיון